501. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
پدیدآورنده: Thayse, Andre
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
6
.
T4452
1984
502. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
پدیدآورنده: Thayse, Andre
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
رده :
QA
76
.
L4
v
.
175
504. PRICAI 2000 :
پدیدآورنده: 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000 ; Riichiro Mizoguchi, John Slaney (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: računalništvo -- umetna inteligenca -- logika -- logično programiranje -- ojačano učenje -- strojno učenje -- odkrivanje znanja -- Bayesianove mreže -- avtonomni agenti -- genetski algoritmi -- genetsko programiranje -- nevronske mreže -- rob
505. PROLOG for Computer Science
پدیدآورنده: by M.S. Dawe, C.M. Dawe.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
73
.
P76
B967
1994
506. Pacific Symposium on Biocomputing 2004 :
پدیدآورنده: edited by Russ B. Altman [and others].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Biology-- Computer simulation, Congresses.,Biology-- Mathematical models, Congresses.,Molecular biology-- Computer simulation, Congresses.,Molecular biology-- Mathematical models, Congresses.,Biology-- Computer simulation.,Biology-- Mathematical models.,Molecular biology-- Computer simulation.,Molecular biology-- Mathematical models.,NATURE-- Reference.,SCIENCE-- Life Sciences-- Biology.,SCIENCE-- Life Sciences-- General.
رده :
QH323
.
5
.
P33
2004eb
507. Parallel and distributed logic programming
پدیدآورنده: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Parallel programming (Computer science),Electronic data processing,Logic programming.,Petri nets, -- Distributed processing,a04,a06,a08,a10
رده :
QA76
.
642
.
B484
2006
508. Parallel and distributed logic programming
پدیدآورنده: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
509. Parallel and distributed logic programming
پدیدآورنده: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
510. Parallel and distributed logic programming
پدیدآورنده: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
511. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده: Bhattacharya, Alakananda
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
512. Parallel problem solving from nature - PPSN VI ;
پدیدآورنده: Marc Schoenauer [and others]
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary computation, Congresses.,Parallel processing (Electronic computers), Congresses.
رده :
QA76
.
58
.
C69
2000
513. Parallel processing and applied mathematics :
پدیدآورنده: Roman Wyrzykowski, Jack Dongarra, Ewa Deelman, Konrad Karczewski (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics, Congresses.,Parallel processing (Electronic computers), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer architecture & logic design.,Computer networking & communications.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics.,Parallel processing (Electronic computers),Software Engineering.
رده :
QA76
.
58
514. Peirce for architects /
پدیدآورنده: Richard Coyne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Peirce, Charles S., (Charles Sanders),1839-1914.,Peirce, Charles S., (Charles Sanders),1839-1914.,Architecture-- Philosophy.,ARCHITECTURE-- Criticism.,ARCHITECTURE-- General.,Architecture-- Philosophy.,ARCHITECTURE-- Study & Teaching.,PHILOSOPHY-- History & Surveys-- Modern.
رده :
B945
.
P44
515. Perspectives of System Informatics :
پدیدآورنده: edited by Dines Bjørner, Manfred Broy, Igor V. Pottosin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
516. Perspectives of Systems Informatics
پدیدآورنده: edited by Edmund Clarke, Irina Virbitskaite, Andrei Voronkov
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science,Computer software,Computer vision,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
517. Petri Nets :
پدیدآورنده: by Wolfgang Reisig.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Logic design.
رده :
QA267
.
B996
1985
518. Pictorial Essay,ایران اسلام رسپوبلیکاسی ایله آذربایجان رسپوبلیکاسی آراسیندا اقتصادی و سیاسی مناسیبتلر ۱۹۹۱-۱۹۹۷
پدیدآورنده: 20090215 00677nam1 22001692i 450 001000700000020002100007100004500028101000800073200016000081210014000241215000900381300004500390801003300435930001800468932000800486910001300494 608032 ,20090214 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
519. Picture Engineering
پدیدآورنده: edited by King-sun Fu, Tosiyasu L. Kunii.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Software engineering.
رده :
TA1632
.
E358
1982
520. Post-quantum cryptography :
پدیدآورنده: edited by Tanja Lange, Rainer Steinwandt.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data encryption (Computer science), Congresses.,Quantum computers, Congresses.,Coding theory & cryptology.,Computer architecture & logic design.,Computers-- Information Theory.,Computers-- Logic Design.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Quantum computers.,Software Engineering.
رده :
QA76
.
9
.
A25
